Перевод: с английского на русский

с русского на английский

the theorem is proved

См. также в других словарях:

  • Theorem — The Pythagorean theorem has at least 370 known proofs[1] In mathematics, a theorem is a statement that has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements …   Wikipedia

  • Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …   Wikipedia

  • theorem — theorematic /thee euhr euh mat ik, thear euh /, adj. theorematically, adv. /thee euhr euhm, thear euhm/, n. 1. Math. a theoretical proposition, statement, or formula embodying something to be proved from other propositions or formulas. 2. a rule… …   Universalium

  • Chevalley-Warning theorem — The Chevalley Warning theorem is a mathematical theorem on solvability of polynomial equations in several variables over a finite field. The theorem was proved by Ewald Warning in 1936. A slightly weaker form of the theorem, known as Chevalley s… …   Wikipedia

  • Bruck–Chowla–Ryser theorem — The Bruck–Chowla–Ryser theorem is a result on the combinatorics of block designs. It states that if a ( v , b , r , k , λ) design exists with v = b (a symmetric design), then: : k − λ is a squarewhen v is even, and the diophantine equation: x 2 − …   Wikipedia

  • Crystallographic restriction theorem — The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2 fold, 3 fold, 4 fold, and 6 fold. However, quasicrystals can occur with other symmetries …   Wikipedia

  • Theorem of the cube — In mathematics, the theorem of the cube is a foundational result in the algebraic geometry of a complete variety. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The specific… …   Wikipedia

  • Splitting theorem — The splitting theorem is a classical theorem in Riemannian geometry. It states that if a complete Riemannian manifold M with Ricci curvature :{ m Ric} (M) ge 0 has a straight line, i.e., a geodesic gamma; such that :d(gamma(u),gamma(v))=|u v| for …   Wikipedia

  • The Doctrine of Chances — For the rule of evidence in law, see doctrine of chances. Front page of the 1st edition of the “Doctrine of Chances”. The Doctrine of Chances was the first textbook on probability theory, written by 18th century French mathematician Abraham de… …   Wikipedia

  • Tarski's undefinability theorem — Tarski s undefinability theorem, stated and proved by Alfred Tarski in 1936, is an important limitative result in mathematical logic, the foundations of mathematics, and in formal semantics. Informally, the theorem states that arithmetical truth… …   Wikipedia

  • Borel determinacy theorem — In descriptive set theory, the Borel determinacy theorem shows that any Gale Stewart game whose winning set is a Borel set is determined, meaning that one of the two players will have a winning strategy for the game. It was proved by Donald A.… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»